Qiro: A Static Single Assignment-Based Quantum Program Representation For Optimization